Бази даних

Реферативна база даних - результати пошуку

Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Наукова електронна бібліотека (3)Автореферати дисертацій (4)Книжкові видання та компакт-диски (55)Журнали та продовжувані видання (7)
Пошуковий запит: (<.>A=Коваль Г$<.>)
Загальна кількість знайдених документів : 102
Представлено документи з 1 до 20
...

      
Категорія:    
1.

Андон П. І. 
Визначення витрат на створення програмного забезпечення автоматизованих систем / П. І. Андон, В. Ю. Суслов, Т. М. Коротун, Г. І. Коваль, О. О. Слабоспицька // Пробл. программир.. - 1998. - № 3. - С. 23-34. - Бібліогр.: 16 назв. - укp.

Робота присвячена дослідженню методів та моделей оцінювання витрат на створення програмного забезпечення (ПЗ) комп'ютерних систем, що є однією з важливих складових управління програмними проектами. Запропонована модель оцінки трудомісткості та вартості ПЗ найбільш сприйнятна для застосування при розробці автоматизованих систем.


Індекс рубрикатора НБУВ: З973-018.11

Рубрики:

Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ 

      
Категорія:    
2.

Андон Ф. И. 
Модель оценки технологической зрелости организаций-разработчиков программного обеспечения / Ф. И. Андон, В. Ю. Суслов, Т. М. Коротун, Г. И. Коваль, О. А. Слабоспицкая // Пробл. программир.. - 1998. - № 4. - С. 46-57. - Библиогр.: 5 назв. - рус.

У статті наведені концепція та модель зрілості технологічних процесів (ТП) створення програмного забезпечення (ПЗ) комп'ютерних систем (СММ-модель). Подано стислий огляд існуючих методів застосування цієї моделі, а також описано розроблений авторами статті експрес-метод оцінювання рівня зрілості технологічних процесів організацій-розробників ПЗ з метою вибору виконувачів великих замовлень на розробку ПЗ.


Індекс рубрикатора НБУВ: З973-018.11

Рубрики:

Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ 

      
Категорія:    
3.

Коваль Г. И. 
Прогнозирование надежности программного обеспечения компьютерных систем / Г. И. Коваль // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України. - 1998. - С. 358-361. - Библиогр.: 4 назв. - рус.

В докладе кратко представлены основные положения методологии моделирования, распределения и прогнозирования надежности программного обеспечения компьютерных систем.


Ключ. слова:
Індекс рубрикатора НБУВ: З973-018

Рубрики:
  


      
Категорія:    
4.

Коваль Г. Ю. 
Променева діагностика : В 2 т. Т. 1 / Г. Ю. Коваль, Т. П. Сиваченко, М. М. Загородська, Р. А. Антонова, Г. М. Бондар. - К. : ОРБІС, 1998. - 527 c. - укp.

Викладено фізичні основи методів променевої діагностики, основні відомості з променевої анатомії та семіотики відповідно до способу діагностичної візуалізації (рентгенологічного, комп'ютерно-томографічного, магнітно-резонансного, ультразвукового, радіонуклідного). Висвітлено диференціально-діагностичні ознаки захворювань дихальних шляхів, органів грудної порожнини, травного каналу та органів черевної порожнини, сечостатевої системи та заочеревинного простору. Визначено дози променевого іонізуючого навантаження на критичні органи, способи захисту від його дії та показання для застосування альтернативних неіонізуючих методів променевої діагностики.


Індекс рубрикатора НБУВ: Р364,07

Рубрики:

Шифр НБУВ: В342987 Пошук видання у каталогах НБУВ 

      
Категорія:    
5.

Бернатович О. В. 
Функциональное тестирование программного обеспечения информационно-расчетного типа / О. В. Бернатович, Г. И. Коваль, Т.М. Коротун // Пробл. программир.. - 1998. - № 3. - С. 51-58. - Библиогр.: 6 назв. - рус.

Представлен метод функционального тестирования программного обеспечения (ПО), основанный на разбиении входного пространства функций на категории эквивалентности данных. Определена технология практического применения метода, позволяющая систематизировать процесс тестирования и повысить его эффективность. Метод апробирован при тестировании ПО информационно-расчетного типа в составе автоматизированной системы (АС).


Індекс рубрикатора НБУВ: З973-018.025

Рубрики:

Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ 

      
Категорія:    
6.

Гайченко В. А. 
Основи безпеки життєдіяльності людини : Навч. посіб. для студ. вищ. навч. закл. / В. А. Гайченко, Г. М. Коваль; Міжрегіон. акад. упр. персоналом. - К., 2002. - 229 c. - Бібліогр.: 37 назв. - укp.

Описано складну систему взаємозв'язку здоров'я людини і чинників навколишнього середовища. Висвітлено негативний вплив діяльності людини на навколишнє природне середовище, а також чинників виробничого середовища на працівників, їх вплив на здоров'я людини за побутових умов. Наведено основні характеристики надзвичайних ситуацій природного та техногенного походження, розглянуто особливості виживання людини за екстремальних умов.

Описана сложная система взаимосвязи здоровья человека и факторов окружающей среды. Освещено негативное влияние деятельности человека на окружающую природную среду, а также факторов производственной среды на работника, их влияние на здоровье человека в бытовых условиях. Приведены основные характеристики чрезвычайных ситуаций природного и техногенного происхождения, рассмотрены особенности выживания человека в экстремальных ситуациях.


Індекс рубрикатора НБУВ: А734 я73

Шифр НБУВ: ВА630246 Пошук видання у каталогах НБУВ 

      
Категорія:    
7.

Андон Ф. И. 
Основы инженерии качества программных систем / Ф. И. Андон, Г. И. Коваль, Т. М. Коротун, В. Ю. Суслов; НАН Украины. Ин-т програм. систем. - К. : Академпериодика, 2002. - 503 c. - рус.

Раскрыта сущность основных понятий в области качества программных систем. Рассмотрены процессы жизненного цикла (ЖЦ), связанные с обеспечением качества - процессы валидации, текстирования, измерения, управления риском, обеспечения гарантии качества и его управлением. На основании обобщения материалов (отчетов, публикаций) зарубежных организаций - лидеров в области исследования вопросов инженерии качества - SEI, ISO, IEEE, NIST предложены методы, используемые при выполнении данных процессов. Приведены методологии GQM, FRA, COCOMO II, CMM. Предложен подход к тестированию с учетом риска отказа программного продукта и риска срыва проекта. Рассмотрено тестирование как интегрированный процесс, действующий на всех стадиях ЖЦ программных систем (ПС). Проанализированы особенности расчета трудоемкости и затрат на разработку ПС по одной из самых известных моделей - трехуровневой модели СОСОМО ІІ.


Індекс рубрикатора НБУВ: З973-018.10

Рубрики:

Шифр НБУВ: ВС37191 Пошук видання у каталогах НБУВ 

      
Категорія:    
8.

Коваль Г.  
Богородиця в українських колядках: функції, семантика образу / Г. Коваль // Нар. творчість та етнографія. - 2007. - № 6. - С. 42-46. - Бібліогр.: с. 46. - укp.

Висвітлено історію пошанування Пречистої, яке зародилося на початку існування християнства, але тільки від V ст. її визнала церква. Зазначено, що образ Богородиці часто зустрічається в українських колядках, переважно наділений якостями дбайливої матері для Свого Сина, заступниці усіх грішників.

Освещена история чествования Пречистой, которое зародилось в начале существования христианства, но только с V ст. ее признала церковь. Указано, что образ Богородицы часто встречается в украинских колядках, преимущественно наделен качествами доброй, заботливой матери для Своего Сына, защитницы всех грешников.


Індекс рубрикатора НБУВ: Т597.6/9 + Ш3(4УКР)-633

Рубрики:

Шифр НБУВ: Ж27482 Пошук видання у каталогах НБУВ 

      
Категорія:    
9.

Коваль Г. П. 
Методика читання : навч. посіб. для студ. / Г. П. Коваль, Л. І. Іванова, Т. Б. Суржук. - Т. : Навч. кн.-Богдан, 2008. - 280 c. - укp.

Розглянуто ефективні способи керівництва навчально-виховним процесом на уроці читання (методи, прийоми, засоби та форми навчання) з урахуванням характеру навчального матеріалу та ступеня його засвоєння. Проаналізовано особливості організації аналітико-синтетичної діяльності, реалізації фактичних і потенційних можливостей кожного учня у класно-урочній системі навчання. Запропоновано методику застосування проблемно-пізнавальних завдань. Розкрито методичні аспекти читацької підготовки молодших школярів у системі позакласного читання. Особливу увагу приділено розвитку знань і творчих здібностей учнів засобами гри.

Рассмотрены эффективные способы руководства учебно-воспитательным процессом на уроке чтения (методы, приемы, средства и формы обучения) с учетом характера учебного материала и степени его усвоения. Проанализированы особенности организации аналитико-синтетической деятельности, реализации фактических и потенциальных возможностей каждого ученика в классно-урочной системе обучения. Предложена методика применения проблемно-познавательных задач. Раскрыты методические аспекты читательской подготовки младших школьников в системе внеклассного чтения. Особое внимание уделено развитию знаний и творческих способностей учеников средствами игры.


Індекс рубрикатора НБУВ: Ч421.221 я73 + Ч421.385.0 я73 + Ш141.4-911.33

Рубрики:

Шифр НБУВ: ВА697508 Пошук видання у каталогах НБУВ 

      
Категорія:    
10.

Гайченко В. А. 
Основи безпеки життєдіяльності людини : Навч. посіб. / В. А. Гайченко, Г. М. Коваль, Є. П. Буравльов; Міжрегіон. акад. упр. персоналом. - 3-є вид., перероб. і доп. - К., 2006. - 440 c. - Бібліогр.: с. 427-432. - укp.

Розкрито складну систему взаємозв'язку здоров'я людини та чинників навколишнього середовища. Розглянуто законодавче та нормативно-правове забезпечення безпеки життєдіяльності. Висвітлено питання гігієни довкілля, зокрема, кругообіг речовини й енергії в біосфері, природної радіоактивності, зміни біологічного різноманіття середовища. Досліджено проблеми безпеки на виробництві, а саме: вплив на людину електромагнітного, ультрафіолетового та лазерного випромінювань, шуму, хімічних і біологічних речовин. Наведено основні характеристики надзвичайних ситуацій природного та техногенного походження, особливості виживання людини за екстремальних умов.

Раскрыта сложная система взаимосвязи здоровья человека и факторов окружающей среды. Рассмотрено законодательное и нормативно-правовое обеспечение безопасности жизнедеятельности. Освещены вопросы гигиены окружающей среды, в частности, кругооборот веществ и энергий в биосфере, природной радиоактивности, изменения биологического разнообразия среды. Исследованы проблемы безопасности на производстве, а именно: влияние на человека электромагнитного, ультрафиолетового и лазерного излучений, шума, химических и биологических веществ. Приведены основные характеристики чрезвычайных ситуаций природного и техногенного происхождения, особенности выживания людей в экстремальных условиях.


Індекс рубрикатора НБУВ: А734 я73

Шифр НБУВ: ВА674648 Пошук видання у каталогах НБУВ 

      
Категорія:    
11.

Андон Ф. И. 
Основы инженерии качества программных систем / Ф. И. Андон, Г. И. Коваль, Т. М. Коротун, Е. М. Лаврищева, В. Ю. Суслов; НАН Украины. Ин-т программ. систем. - 2-е изд., перераб. и доп. - К. : Академпериодика, 2007. - 670 c. - рус.

Обоснована парадигма качественных показателей (КП) в программной инженерии. Предложена классификация парадигм и стилей программирования. Раскрыта сущность основных понятий в области КП, в частности, инфраструктуры разработки, инженерии процессов разработки, интеграции процессов жизненного цикла. Рассмотрены процессы жизненного цикла, связанные с обеспечением качественных показателей, в частности, верификации, валидации, тестирования, измерения, управления риском, обеспечения гарантии КП, управления КП. Приведены методы, используемые при выполнении данных процессов. Освещены методологии GQM, FPA, COCOMO II, CMM. Изложены вопросы тестирования программных систем, сертификации систем менеджмента КП.


Індекс рубрикатора НБУВ: З973-018.10

Рубрики:

Шифр НБУВ: ВС43531 Пошук видання у каталогах НБУВ 

      
Категорія:    
12.

Бойко Н. В. 
Забруднювачі та їх впливи на екологічно вразливі екосистеми Верхнього Потисся : монографія / Н. В. Бойко, Ш. Балажі, Ю. Л.-Голас, Г. Коваль, Н. Ковальчук, В. Козловський, А. Колесник, О. Колесник, О. Легань, Н. Романюк; Ужгород. нац. ун-т, Ніредьгаз. вища шк., Львів. нац. ун-т ім. І.Франка, Ін-т екол. Карпат НАН України. - Ужгород; Ніредьгаза, 2008. - 380 c. - Бібліогр.: с. 343-361. - укp.

Наведено результати систематичного моніторингу забруднених територій Верхнього Потисся та стратегію їх ремедіації. Висвітлено основні джерела забруднення довкілля важкими металами (ВМ) та іншими полютантами. Визначено рівні забруднення ВМ грунтових профілів, водойм і рослин екосистем даних територій у хімічному аспекті. Викладено характеристику флори територій та проаналізовано динамічні тенденції її трансформації внаслідок антропогенного впливу. Описано мікрофлору забруднених грунтів та водойм, визначено їх ферментативну активність. Розглянуто методи відбору проб і культивування мікроорганізмів повітря, механізми взаємодії фітопатогенної та епіфітної мікрофлори рослин, основні рослинні алергени.

Приведены результаты систематического мониторинга загрязненных территорий Верхнего Потисья и стратегия их ремедиации. Освещены основные источники загрязнения окружающей среды тяжелыми металлами (ТМ) и другими полютантами. Определены уровни загрязнения ТМ почвенных профилей, водоемов и растений экосистем данных территорий в химическом аспекте. Представлена характеристика флоры территорий и проанализированы динамические тенденции её трансформации вследствие антропогенного влияния. Описана микрофлора загрязненных почв и водоемов, определена их ферментативная активность. Рассмотрены методы отбора проб и культивирования микроорганизмов воздуха, механизмы взаимодействия фитопатогенной и эпифитной микрофлоры растений, основные растительные аллергены.


Індекс рубрикатора НБУВ: Б1(4УКР)с7,021 + Д829(45УКР3)08,021 + Е0*801.48(4УКР)

Рубрики:

Шифр НБУВ: ВА711968 Пошук видання у каталогах НБУВ 

      
Категорія:    
13.

Мороз Г. Б. 
Концепция профилей в инженерии надежности программных систем / Г. Б. Мороз, Г. И. Коваль, Т. М. Коротун // Мат. машини і системи. - 2004. - № 1. - С. 166-182. - Библиогр.: 13 назв. - рус.

Запропоновано концепцію профілів як інструмент вивчення особливостей майбутнього застосування розроблених програмних систем (ПС). Надано стислу характеристику основних елементів процесу застосування ПС, наведено формальні визначення профілів різних видів та описано механізми їх взаємодії. Зазначено, що використання концепції сприятиме впорядкуванню процесу розроблення та побудові адекватних моделей надійності та тестування.


Індекс рубрикатора НБУВ: З973-018.10

Рубрики:

Шифр НБУВ: Ж15664 Пошук видання у каталогах НБУВ 

      
Категорія:    
14.

Коваль Г. И. 
Планирование обеспечения надежности информационных систем / Г. И. Коваль, Т. М. Коротун, Т. Л. Яблокова, Л. И. Куцаченко // Пробл. программирования. - 2001. - № 3-4. - С. 40-47. - Библиогр.: 16 назв. - рус.

Висвітлено проблеми планування програми забезпечення надійності інформаційних систем (ІС). Наведено перелік задач, які повинні вирішуватися в межах цієї програми на стадіях життєвого циклу ІС, а також існуючі методичні матеріали, що можуть використовуватися під час їх розв'язання.


Індекс рубрикатора НБУВ: З970.4

Рубрики:

Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ 

      
Категорія:    
15.

Коваль Г. И. 
Подход к прогнозированию надежности программного обеспечения при управлении проектом / Г. И. Коваль // Пробл. программирования. - 2002. - 1-2 [спец. вып.]. - С. 282-290. - Библиогр.: 20 назв. - рус.

Представлены основные положения методологии прогнозирования надежности программного обеспечения компьютерных систем на стадиях жизненного цикла, которая должна рассматривается как неодномерное понятие (с точки зрения разработчика, менеджера и пользователя). Отмечено, что при прогнозировании следует учитывать характеристики рабочих продуктов, процессов, среды разработки и применения программного обеспечения. Результаты прогнозирования должны использоваться менеджерами при управлении проектом наряду с такими ограничениями проекта, как стоимость и сроки разработки.


Індекс рубрикатора НБУВ: З973-018.10

Рубрики:

Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ 

      
Категорія:    
16.

Мороз Г. Б. 
Применение концепции операционных профилей в инженерии надежности программных систем / Г. Б. Мороз, Г. И. Коваль, Т. М. Коротун // Пробл. программирования. - 2004. - 2-3 [спец. вып.]. - С. 188-197. - Библиогр.: 10 назв. - рус.

Запропоновано підхід щодо вивчення особливостей експлуатації розроблюваних програмних систем (ПС) на основі визначення сукупності операційних профілів. Надано стислу характеристику основних елементів процесу застосування ПС, наведено формальні визначення профілів різних видів та описано механізми їх взаємодії. Використання даного підходу сприятиме впорядкуванню процесу розроблення та побудові адекватних моделей надійності та тестування.


Індекс рубрикатора НБУВ: З973-018.1

Рубрики:

Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ 

      
Категорія:    
17.

Грабовецький С. А. 
Сучасні погляди на дегенеративні процеси у хребті / С. А. Грабовецький, Г. Ю. Коваль // Укр. радіол. журн. - 2004. - 12, № 4. - С. 465-468. - Бібліогр.: 27 назв. - укp.


Індекс рубрикатора НБУВ: Р458.195.1-588

Шифр НБУВ: Ж14579 Пошук видання у каталогах НБУВ 



      
Категорія:    
18.

Коваль Г. І. 
Основні задачі системи підтримки прийняття рішень в інженерії надійності програмних систем / Г. І. Коваль // Пробл. программирования. - 2005. - № 3. - С. 35-41. - Бібліогр.: 14 назв. - укp.

Запропоновано підхід до побудови системи прийняття рішень в інженерії надійності програмних систем (ПС). Розроблено моделі для вирішення задач розподілення цілей надійності по компонентах ПС, пошук та порівняння альтернативних шляхів досягнення цих цілей, вибору оптимальної стратегії забезпеченя надійності ПС за умов обмеження ресурсів проекту та їх контролю. При вирішенні цих задач використовуються сучасні методи: аналіз ієрархій, байєсівські мережі та діаграми впливу.


Індекс рубрикатора НБУВ: З973-018.10

Рубрики:

Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ 

      
Категорія:    
19.

Коваль Г. І. 
Байєсівські мережі як засіб оцінювання та прогнозування якості програмного забезпечення / Г. І. Коваль // Пробл. программирования. - 2005. - № 2. - С. 15-24. - Бібліогр.: 17 назв. - укp.

Запропоновано підхід до побудови моделей якості програмного забезпечення за допомогою апарату байєсівських мереж. Розроблено моделі для оцінки рівня якості робочих продуктів та прогнозування якості кінцевого програмного продукту з метою ефективного керування програмними проектами. Встановлено метод композиції моделей якості проміжних робочих продуктів для їх використання під час прогнозування якості кінцевого програмного продукту.


Індекс рубрикатора НБУВ: З973-018.1

Рубрики:

Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ 

      
Категорія:    
20.

Коваль Г. М. 
Вплив температури випалу на властивості ангідритового в'яжучого / Г. М. Коваль // Вісн. Нац. ун-ту "Львів. політехніка". - 2006. - № 553. - С. 252-254. - Бібліогр.: 2 назв. - укp.

Досліджено вплив температури на кількість вільного вапна під час випалу фосфогіпсу. Наведено фізико-механічні властивості ангідритового в'яжучого різного фазового складу.


Індекс рубрикатора НБУВ: Л452.2-3

Рубрики:

Шифр НБУВ: Ж29409/А Пошук видання у каталогах НБУВ 
...
 

Всі права захищені © Національна бібліотека України імені В. І. Вернадського